Natural deduction and sequent proofs
https://www.logicmatters.net/latex-for-logicians/nd/
#TeXで証明図を書く